Globally Optimal Power Flow